Automatic Veriication of a Hydroelectric Power Plant 1
نویسندگان
چکیده
We analyze the speciication of a hydroelectric power plant by ENEL (the Italian Electric Company). Our goal is to show that for the speciication of the plant (its control system in particular) some given properties hold. We were provided with an informal speciication of the plant. From such informal speciication we wrote a formal speciication using the CCS/Meije process algebra formalism. We deened properties using-calculus. Automatic veriication was carried out using model checking. This was done by translating our process algebra deenitions (the model) and-calculus formulas into BDDs. In this paper we present the informal speciication of the plant, its formal speciication, some of the properties we veriied and experimental results.
منابع مشابه
An Overview of Hydroelectric Power Plant: Operation, Modeling, and Control
Renewable energy provides twenty percent of electricity generation worldwide. Hydroelectric power is the cheapest way to generate electricity today. It is a renewable source of energy and provides almost one-fifth of electricity in the world. Also, it generates electricity using a renewable natural resource and accounting for six percent of worldwide energy supply or about fifteen percent of th...
متن کاملEstimating Efficiency of Thermal and Hydroelectric Power Plants in Iranian Provinces
This paper aims at estimating the efficiency of hydroelectric power plants (renewable energy resources) and thermal power plant (non-renewable energy resources) in Iranian provinces. Data Envelopment Analysis (DEA) approaches is applied to estimate the efficiency. The network is modeled as a linear system with multiple inputs and one output. Fuel cost, labor force, operation cost are used as in...
متن کاملCommissioning, Monitoring and Control of a Low-power Hydroelectric Power Plant
The usage of regenerable low power sources is currently rather reduced. Utilization of some specialized softwares of SCADA type allow the operation of the low-power hydroelectric power plants in automatic regime, without local monitoring personnel, these being able to be remotely monitored and controlled. In this way, the utilization of such power plants becomes profitable. A special importance...
متن کاملThe Optimization of Energy Supply Systems by Sequential Streamflow Routing Method and Invasive Weed Optimization Algorithm; Case Study: Karun II Hydroelectric Power Plant
Among the major sources of energy supply systems, hydroelectric power plants are more common. Energy supply during peak hours and less environmental issues are some of the most important advantages of hydroelectric power plants. In this study, designing parameters to supply maximum amount of energy was determined by using the simulation-optimization perspective and combination of IWO-WEAP model...
متن کاملSubmitting an automation method for detection cavitations in hydro turbines considering sensitivity parameters (Sefidroud hydroelectric power plant dam)
In this research, submitting a method for evaluation of detection cavitation specifications and also automation of cavitation threshold has been investigated. The case study was based on Kaplan hydro turbine data located on Tarik hydropower plant at Sefidroud dam. The foundation of method was employment MATLAB program, sensor classification sensor locations and cavitation sensitivity. For train...
متن کامل